EXTRA_DIST = runregression

SUBDIRS = \
 adder \
 bddcalc \
 bddtest \
 cmilner \
 fdd \
 milner \
 money \
 queen \
 solitare \
 bddsupportbug \
 bddsatcountbug
